TSTP Solution File: GRA031^2 by Nitpick---2016